GtkMenu: Avoid GdkDeviceManager API
authorCarlos Garnacho <carlosg@gnome.org>
Wed, 16 Dec 2015 18:24:20 +0000 (19:24 +0100)
committerCarlos Garnacho <carlosg@gnome.org>
Wed, 16 Dec 2015 18:47:07 +0000 (19:47 +0100)
commit04d7bd49d0ef2af6df12e16d99de7c591c23ebea
treee4045719dd2d489f040f926cdc1d6e332de9a7f7
parent26f3d02f0354321a13b6608930116b1744f0c549
GtkMenu: Avoid GdkDeviceManager API

We used to pick a master pointer "at random", use the default seat pointer
instead.
gtk/gtkmenu.c